Inheritance and Cofree Constructions
نویسنده
چکیده
The coalgebraic view on classes and objects is elaborated to include inheritance. Inheritance in coalgebraic speciication (of classes) will be understood dually to parametrization in algebraic speciication. That is, inheritance involves restriction (specialization), where parametrization involves extension. And cofree constructions are \best" restrictions, like free constructions are \best" extensions. To make this view on inheritance precise we need a suitable notion of behaviour preserving morphism between classes, which will be deened as a \coalgebra map up-to-bisimulation".
منابع مشابه
Semantic Constructions for Hidden Algebra
Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of their states, as well as their observational aspect, concerned with the observable b ehaviour of such states. When attention is restricted to the observational aspect, final/cofree constructions provide suitable denotations fo...
متن کاملCofree compositions of coalgebras
We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that the composition is a one-sided Hopf algebra. These conditions hold when one coalgebra is a graded Hopf operad D and the other is a connected graded coalgebra w...
متن کاملCofree coalgebras and differential linear logic
We prove that the semantics of intuitionistic linear logic in vector spaces which uses cofree coalgebras to model the exponential is a model of differential linear logic. Thus, in this semantics, proof denotations have natural derivatives. We give several examples of these derivatives.
متن کاملThe Recursion Scheme from the Cofree Recursive Comonad
We instantiate the general comonad-based construction of recursion schemes for the initial algebra of a functor F to the cofree recursive comonad on F . Differently from the scheme based on the cofree comonad on F in a similar fashion, this scheme allows not only recursive calls on elements structurally smaller than the given argument, but also subsidiary recursions. We develop a Mendler formul...
متن کاملOn the Structure of Cofree Hopf Algebras
We prove an analogue of the Poincaré-Birkhoff-Witt theorem and of the Cartier-Milnor-Moore theorem for non-cocommutative Hopf algebras. The primitive part of a cofree Hopf algebra is a B∞-algebra. We construct a universal enveloping functor U2 from B∞-algebras to 2-associative algebras, i.e. algebras equipped with two associative operations. We show that any cofree Hopf algebra H is of the form...
متن کامل